#include "vntlib.h"

typedef struct {
  int32 a1;
  int64 a2;
  uint64 a3;
  uint64 a4;
  uint256 a5;
  string a6;
  address a7;
} A;
KEY A a;

typedef struct {
  int32 *a;
  int64 *b;
  int c;
} B;

KEY B b;

constructor test() {}
